Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท1d
ฮปLambda Formalization
Flag this post
Down with template (or not)!
cedardb.comยท20h
๐ฏGradual Typing
Flag this post
consult + org-db-v3: Approximate search of my sketches using text, and a multi-source consult command for approximately searching sketches and blog posts
sachachua.comยท1d
๐PostScript
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Functional Compilers
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.comยท1d
๐งRISC-V Assembler
Flag this post
Building a Visual Diff System for AI Edits (Like Git Blame for LLM Changes)
๐ฏGradual Typing
Flag this post
From Lossy to Lossless Reasoning
๐จCompilers
Flag this post
Falcon: A Comprehensive Chinese Text-to-SQL Benchmark for Enterprise-Grade Evaluation
arxiv.orgยท1d
๐จ๐ณChinese Computing
Flag this post
Rdza โ Rust Programming, in Polish
๐ฆRust Macros
Flag this post
Reflection for Aggregates (2020)
๐Type Safety
Flag this post
Stop Writing Code, Start Writing Docs
thenewstack.ioยท54m
โ๏ธTLA+
Flag this post
Nim 2.2.6
๐ณIncremental Parsing
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
๐Combinatory Logic
Flag this post
ICU4X 2.1 released!
blog.unicode.orgยท21h
๐คUnicode Normalization
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.comยท13h
โ
Format Verification
Flag this post
Roadmap for Improving the Type Checker
๐งLiquid Types
Flag this post
Loading...Loading more...